COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\M5BASI30\F2\CSTANFORD UNIVERSITY
C00004 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\M5BASI30;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CDec 19,1974




Dear Barbara:

\JAmazing! We've been mind-reading.
I've been writing a paper critical of current efforts in 
automatic programming and verification;
many of the ideas you present are  the same as mine. 
The paper is just reaching the stage were I am inflicting it on
the natives; as soon as it's fit for human consumption I'll send it
along.
One of its titles is \F5 It's time to shit or get off the POT (≡Programmers, Old
and Tired).\F1
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Labs

\←S\→L